Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
911	Vajra Logic and Mathematical Meta-models for Meta-systems Engineering Notes on the Foundations of Emergent Meta-systems Theory and Practice Kent D. Palmer, Ph.D. Box 1632, Orange, CA[removed]USA [removed] Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:40:45 Non-classical logic Philosophical logic Model theory Logic in computer science Meta-system Modal logic Interpretation First-order logic Formal verification Logic Mathematical logic Mathematics
912	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:33:53 Formal systems Euclidean geometry Metric geometry Projective geometry Euclid Synthetic geometry Mathematical proof Axiomatic system Inversive geometry Mathematics Logic Geometry
913	Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-03-20 12:18:38 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
914	An Algorithm Rules JEAN in Polynomial Add to Reading List Source URL: cs-pub.bu.edu Language: English - Date: 2002-12-11 10:42:01 Mathematical logic Logic in computer science Applied mathematics Rewriting Unification Semi-Thue system Theoretical computer science Mathematics Formal languages
915	Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-14 23:11:52 Automated theorem proving Logic in computer science Mathematics Cyber-physical system Formal verification KeY Carnegie Mellon University Logic programming Theoretical computer science Formal methods Applied mathematics
916	System Synthesis Based on a Formal Computational Model and Skeletons Ingo Sander, Axel Jantsch Department of Electronics, Royal Institute of Technology, Stockholm, Sweden Abstract Formal approaches to HW and system desig Add to Reading List Source URL: web.it.kth.se Language: English - Date: 2002-02-20 05:41:54 Electronic design automation Digital electronics Formal methods VHDL FIFO High-level synthesis Function model Verilog Concurrent computing Electronic engineering Hardware description languages Cybernetics
917	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
918	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
919	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
920	Project Description 1 System design with behavior tables Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:19:23 Models of computation Logic in computer science Programming language semantics Mathematical logic Denotational semantics Formal grammar Actor model Sheaf Table Mathematics Theoretical computer science Applied mathematics

UPDATE